home *** CD-ROM | disk | FTP | other *** search
- #!mupfel
-
- if [ ! -r profile.mup ]
- then
- echo
- echo GEMINI.APP mu₧ im GEMINI2 Verzeichnis gestartet werden!
- echo
- else
-
- if [ ! -r install.mup ]
- then
- mv profile.mup install.mup
- fi
-
- (
- echo '#!mupfel'
- echo '# Wie in Gemini 1.2 wird zuerst einmal der Pfad gesetzt, in dem'
- echo '# Gemini selbst liegt. Das ist die normale Einstellung, damit auch'
- echo '# alle Kommandos gefunden werden.'
- echo 'setenv GEMINIHOME '$PWD
- echo
- echo '# Hier wird das HOME-Verzeichnis des Benutzers gesetzt, in dem'
- echo '# sich alle Dateien befinden, in denen seine persönlichen'
- echo '# Einstellungen gesichert werden. Es kann nach eigenem Ermessen'
- echo '# auf einen anderen Ordner umgesetzt werden. Alle anderen Einstellungen'
- echo '# werden dann aus der profile.mup dort geholt.'
- echo 'setenv HOME $GEMINIHOME\user'
- echo
- echo 'source $HOME\profile.mup'
- echo
- ) > profile.mup
-
- source .\profile.mup
-
- fi
-